{ value = < A | B >.A }
